<html><body bgcolor=white  onload='parent.fileFinishedLoading();'>
Loading types.html info file... 
<script language="javascript">
var at=parent.at;
if(at== undefined) { alert('The code is not yet loaded'); }
at(0,'/*1*/list@0:3');
at(1,'/*2*/list@0:4');
at(2,'/*3*/list@0:5');
at(3,'/*5*/list@0:6');
at(4,'/*7*/list@0:7');
at(5,'/*9*/list@0:8');
at(6,'printf_arguments@0:0');

</script>Done</html>
